Dedekind-Peano axioms